constant weakest pre-condition英 [ˈkɒnstənt ˈwiːkɪst ˈpriː kənˈdɪʃn]美 [ˈkɑːnstənt ˈwikəst ˈpriː kənˈdɪʃn]网络 恒最弱前置条件计算机
